CP 2025: Second Call for Papers and Workshops

Second Call for Papers and Workshops -- Deadlines Approaching

Thirty First Conference on Principles and Practice of Constraint
Programming CP 2025

August 10-15, 2025, Glasgow, Scotland

Submissions are now open for papers and workshops for CP 2025.

For full details, please see:

- https://cp2025.a4cp.org/cfp.html
- https://cp2025.a4cp.org/cfw.html

Call for Papers

CP is the premier international event for presenting research in all
aspects of computing with constraints, including, but not restricted
to: theory, algorithms, environments, languages, models, systems, and
applications. CP 2025 is the 31st conference in this series and will
be held at the University of Glasgow, Scotland, August 10-15, 2025.
This year, CP is co-located with the 28th International Conference on
Theory and Applications of Satisfiability Testing (SAT 2025) and with
the 18th International Symposium on Combinatorial Search (SoCS 2025).
Note that the first two days (10 and 11th) will be dedicated to the
Workshops and Doctoral Program.

The CP conference welcomes submissions that advance the state of the
art for the underlying constraint-based technologies, as well as
papers that explore the role of constraint programming within other
disciplines, such as operations research, machine learning,
computational sustainability, quantum computing, computational biology
and (cyber)security.

Submissions are now open.

Tracks and Primary Keywords

CP has lately had both a main technical track, an application track
and a series of specialised tracks (e.g., machine learning, operations
research, etc.) that authors could submit to and were mutually
exclusive. This year, inspired by ICAPS 2024, we will only have two
tracks: technical and application where, as usual, the former focuses
on the scientific contributions made “to” CP, while the latter focuses
on scientific contributions made “with” CP. The application track is
particularly interested in papers that demonstrate the effectiveness
of CP in solving real-world problems, as well as those that offer
generalisable insights on the challenges and benefits for both users
and developers of applying CP to both academic and real-world
problems.

Former specialised tracks are replaced this year by a set of optional
primary keywords, which are in addition to the keywords requested from
authors every year. Their purpose is to enable submissions to
self-identify the area of focus of the CP paper, support the
identification of suitable reviewers, and potentially aid in the
grouping of thematically related accepted papers in the conference
program. Authors (resp. reviewers) will be able to select zero, one or
more primary keywords to reflect best the thematic contributions of
their CP paper (resp. reviewer expertise).

The primary keywords that can be used to qualify the particular focus
of the CP research presented in the paper are:

Theory
Constraint Propagation, Explanation & Inference
Search (Complete & Heuristic)
SAT, MaxSAT & Logic Programming
Modelling & Modelling Languages
Operations Research & Mathematical Optimisation
Machine Learning & Generative AI
Verification, Certification & Testing
Hardware, Quantum, Security & Parallelism
Model Counting
Decision Diagrams & Dynamic Programming
Symmetries/Dominance
Model/Instance Explainability

Important Dates

Submissions open: now
Abstract registration: 20/03
Paper submission: 27/03
Author rebuttal: 8/05-12/05
Final notification: 29/05
Camera Ready: 09/06
Conference: 10/08-15/08

Dates are intended as 11pm Anywhere on Earth (AoE, also known as
UTC-12). Note that the dates for registration and submission are
selected in such a way they fall on Friday midnight in New Zealand,
thus ensuring nobody has to work on the weekend to finish their CP
abstract/paper.

Call for Workshop Proposals

We invite proposals for workshops to be held immediately before the
main conferences in Glasgow, UK. Workshops offer an opportunity for
in-depth discussions, hands-on experiences, and focused exploration of
specific areas connected to constraint programming, SAT solving, and
related topics.

Given the co-location of the CP and SAT conferences, we especially
encourage proposals for workshops of interest to both communities.
Some example topics from recent years are pragmatics of constraint
reasoning, constraint modelling and SAT/SMT encodings, counting and
sampling, logic-based methods in ML, CP-SAT solving, proof complexity,
certifying algorithms, and logic and search. Proposals of interest to
a single community, either on previously covered topics or new topics,
are also welcome.

While you are free to have a traditional workshop with submitted
papers, we also encourage new ideas and formats that could foster more
interaction from your audience. We encourage in particular short
papers and position papers, a lightweight review process, and poster
sessions.

Important dates

Proposal submission: March 20, 2025
Notification of decisions: March 30, 2025
Workshops: August 10-11, 2025
Main conferences: August 12-15, 2025

--
Ciaran McCreesh